perm filename PAREN.GF[MF,DEK] blob
sn#779652 filedate 1984-12-18 generic text, type T, neo UTF8
{`Dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔&"p_Nπ#λ~Lε≡x¬]
↔ 6→$¬⊂7[,⊗pwENFH:≠R&→,g ⊂≤↔⊂2[NF@2\m↔_wA∧β_[≡07␈⎇O_C@wA∧β→≠≡0⊃␈|O_⊗@wA∧β→[≡07␈⎇O_␈i@w@dβ_|`π_␈⎇≡0λπ∞x↓Hεβ⊂y@¬gxq|`¬P≥p_⊂ε?_≤␈␈ y␈t`;`B_./_≥␈␈`y@!`;`B_N/_∞∨}λy@ ;`B_n/_≥␈␈`y␈t`;`G⊂:[←_y@<`λ`≡0∞xα≤NV`2|`≡0λπ∂_#y@!`;`G⊂:[←_y␈t`<`λ`≡?xS∞xα≤NV`2|`≡?xS∂_y@!`;`G⊂:[←_#y␈t`<`λ`≡0λπ∧_α@␈␈␈␈xα π@␈␈␈z0⊂h ∩a→_∧dA→λ∧d↓_x¬#A(h¬#↓(X¬bA8H¬b!8@¬aa80¬a!H ε aH_ε AHλε ↓Wxε←aGpε←!W`π≡agXε↑AgHπ≡!g@π≥ag0π]Ag(π]↓w π\aw⊂π\Awλπ\αππ[bεxπ[Bεhλ≠"ε`λ≠αεXλ~B⊗Pλ~"⊗Hλ~α⊗@λ→b⊗0λYB⊗( →"⊗ →α⊗_ _b⊗⊂ _B&λ _"&λλXα& ↔b%x ↔B%p ↔"5h ↔"%` Wα%X Vb5X ⊗B5P V"5H V"5@ Vα5@ Ub58 UBE0 UB5(
∃"E( U"5
∃αE TbE_
∀bE⊂
∀BE⊂
∀BEλ
∀"Eλ
∀"E
∀αE
∀αDx
SbDx
∪bDp
SBTp
∪BDp
∪"Th
S"Th
∪"Dh
∪αT`
SαT`
SαD`
∩bTX
RbTX
RbTX
RbTX
∩BTP
RBTP
RBTP
RBTP
RBTP
RBTP
∩"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
R"TH
RBDP
RBTP
RBTP
RBTP
RBTP
RBTP
RbDX
RbTX
RbTX
RbTX
SαD`
∪αT`
SαT`
S"Dh
∪"Dh
S"Th
SBDp
∪BDp
SBTx
∪bDx
∪bU
∀αE
∀αEλ
∀"Eλ
∀"E⊂
∀BE⊂
∀BE_
∀bE_
∃α5
∃αE( U"5(
∃"E0 UB50
∃b58 Vα5@ Vα5H V"5H VB5P Vb%X Vb5` ↔α5h ↔"%h WB%p ↔b%x _α& _"⊗λ _"&⊂ _B&_λXb& λYα&(λY"&0λYB⊗8λZαε@λZ"εHλZBεPλZbε`λ≠αεhλ≠"εpλ≠avxλ≤↓wλ≤!w⊂π\Aw_π]↓w π]!w0π≥Aw8π≡↓gHπ≡!gPπ≡aWXπ∨↓ghε←AWxε∨aXε`!H⊂ε aH_ε!↓H(ε!A88¬b↓8H¬b!8P¬ba8`¬#!(p¬#a)∧d!→⊂∧da→ ∧Q≥q8:~.F`2H
&H3Z∞B8_.&(7≥
ε(9Z.>xαλεβλ6<`↓ ↓≡0λπ∞xαλεβ⊂6<`¬_π}0-∞xαλεβ_6<`↓ ↓≡?xS∞x↓Hεβλy@βε<`⊂p≥p_⊂ε/_↔0↓py@ ;`2_}0↓O_␈i@wA∧β_\↑0∞αO_C@wA∧β→≤↑04βO_⊗@wA∧β→\↑0∞αO_␈i@wA∞'(6→>0∂_y@⊃@<`≥p 9≥-F(y@<`⊂p≡0F∂_C@wA∞'(6→>0∂_␈i@y@⊃@<␈z0≥p 9≥-F(y@<␈z0≡0∂_C@wA∞'(6→>0F∂_␈i@y@⊃@<`⊂pλ0¬∨x␈␈␈pα@
∂x␈␈t`!Pλ∧∩a∧`∧S!∀p¬∪a%¬∀!5⊂¬Ta5 ¬U!50ε∃aE8εV↓UHεVAUXεW↓U`π↔!epπ↔aexπX↓vλπ_!v⊂πXav_λ→↓v(πY"ε0λ→av8λ~αε@λZ"εPλ~B⊗Xλ~b⊗`λ[α⊗hλ["⊗pλ[B&xλ[b'λ\α'λλ\"'⊂λ\B'_λ\b' λ]α' ≥"'( ≥B'0 ≥B78 ≥b78 ↑α'@ ↑α7H ↑"7H ↑B7P ↑B7X ↑b7X ←α7` ←α7h ←"7h ←"Gp ←B7p
∨BGx ←bGx
∨bH `αH
αHλ `"Hλ
"Hλ
BH⊂
BH⊂
BH_
bH_
bH_
bX
!αH
!αH
!αX
a"H(
!"H(
!"X(
a"X(
aBH0
!BH0
!BX0
aBX0
aBX0
abH8
!bH8
abX8
abX8
abX8
abX8
abX8
abX@
"αH@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
bαX@
"αH8
abX8
abX8
abX8
abX8
abX8
abX8
!bH8
!BX0
aBX0
aBX0
aBH0
!BH0
!"X(
a"X(
a"H(
!"H(
!αX
aαH
!αH
!αH_
`bH_
bH_
bH⊂
BH⊂
BH⊂
"Hλ
"Hλ
"8
αH
α7x
∨bGx
∨b7p
∨BGp ←B7h
∨"7h ←"7` ←α7` ↑b7X ↑b7P ↑B7P ↑"7H ↑"7@ ↑α7@ ≥b78 ]b'0 ]B'0 ≥"'( ≥α' ≥α↔_ ≤b↔⊂ ≤B↔λ ≤"↔ ≤α⊗x ≠b⊗p ≠B⊗hλ["⊗`λ[α⊗XλZbεPλZBεHλ~α⊗@λ→bε8πYBε(λ→!v πXbε_πXAvλπX!fπWauxπ↔Aehπ↔↓e`εVaUPεV!U@εUaU8ε∃AE(¬U↓5_¬TA5λ¬T↓$x¬∪A$h∧S↓∀X∧∩A∧ wDnFH:≠R!≠mF ⊂⊃/π 2[LF(2;bg 4]
F(⊂∪V0:λ∞ελ9→-g 4→.6H9{`B_-O_∨ y@!`;`B_MO_ pα y@ ;`B_mO_∨ y␈t`;`2_>0A`O_C@w@dβ→<`βHλ}0-∞x↓Hεβ_y@⊂8α<␈z0≥p ⊂ε↔⊂y@⊃ ∧<`⊂p≥p ⊂ε'⊂y@ (⊃<`¬P≥p ⊂ε7⊂y@⊃ ∧<␈z0≥p 9≥-F(y@<`≡0P@∂_wA∞'(6→>0∂_C@y@∀⊂<`⊂p≥p 9≥-F(y@<␈z0≡0P@∂_␈i@wA∞'(6→>0∂_␈i@y@<`⊂p≥p 9≥-F(y@∀⊂<␈z0≡0P@∂_C@!@λ∀⊃@∀E?␈␈xSλεP
PhNβS0pMβS⊂pLβrpxJD∩AID2!λHD2↓⊂GDQa⊂FDQA_EDq!_DE⊃↓ CE⊂a(BE0A(B¬01(A¬0⊃0@¬Oq8?¬oa0>EoA8=F∂!@=ε∂⊃@<ε∞qH;F∞aH:F.AP:ε.1P9εN!P8FN↓X8εMqX7εmaX6FmA`6εm1`5π
!`4G
⊃`4π
↓`3G,ah3π,Qh2G,Ah2π,1p1G,!p1π,⊃p0GL↓p0πKqx/GKax/πkQx.GkAx.πkAx-Gk1x-λ!x-πk∩,Hα,λα+H
r+H
bλ+λ
Rλ*H*R*λ*Bλ*λ*B)H*2λ)H*"λ)λ*"λ(HJ∩⊂(H*∩λ(λJα⊂(λJαλ'HIr⊂'HIr⊂'λIb⊂'λIb⊂'λIR_&HIR⊂&HIR⊂&HIB_&λiB⊂&λIB⊂&λI2_%Hi2_%Hi2⊂%HI2⊂%λi"_%λi"_%λi"_%λi"_%λi"_%λI"⊂$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_$Hi∩_%λI"⊂%λi"_%λi"_%λi"_%λi"_%λi"_%HI2⊂%HI2_%Hi2_%HiB⊂&λIB⊂&λIB_&λiR⊂&HIR⊂&HIR⊂&Hib⊂'λIb⊂'λIb⊂'HIr⊂'HIr⊂(λ*α⊂(λJα⊂(H*∩λ(HJ∩⊂)λ*"λ)λ*2λ)H*2λ*λ
Bλ*λ*Bλ*H
Rλ*H*b+λ*r+H
r,λα,λ∩,H!x-πk"-Gk1x.πkAx.πkQx.Gkax/πkqp/Gl↓p0πL⊃p0GL!h1πL1h1GLAh2π,Qh2G,ah3π,qh4π
↓`4G
⊃`5π
!`5G
AX6π
QX7εmaX7Fn↓P8εn⊃P9εN!P9FNAH:εNQH;ε.q@;F/↓@<F∂!@=ε∂1@>¬oQ8?¬Oa8?Ep↓0@EP!(AE0A(B¬0Q(C¬0q D¬⊃⊃ E∧q1_F∧qQ⊂G∧Qq⊂H∧R⊃λI∧21λJ∧∩QKCsxLCS pMCS@pNCHNx]
↔ 6→$¬⊂4Ymπ ⊂≤↔⊂2[NF@2\m↔_wA∧β_[≡0?␈∂_C@wA∧β→≠≡0+∨{o_⊗@wA∧β→[≡0?␈∂_␈i@w@dβ_|`↓h?␈≡0λπ∞x↓Hεβ⊂y@␈xn|`¬P≥p_⊂ε?_π/␈`y␈t`;`B_./_ y@!`;`B_N/_≡/⎇`y@ ;`B_n/_ y␈t`;`G⊂:[←_y@<`
λ≡0∞xα≤NV`2|`≡0λπ∂_( y@!`;`G⊂:[←_y␈t`<`
λ≡?xS∞xα≤NV`2|`≡?xS∂_y@!`;`G⊂:[←_( y␈t`<`
λ≡0λπ∧_∩HD⊂↓8πH␈␈␈z0⊂hC)0p&βiQ'∧ qλ(∧J⊃⊂)∧j1_*¬
Q +¬
q(+EK↓0,EK!0-EkA8.εQ@/εq@/F,↓H0F,!H1εL1P2εLAP2FLaP3εlqX3G
↓X4Fm⊃`5π
!`5G
1h6π
Q`6G-a`7π-qh7G.↓h8π.⊃h8GN⊃p9πN!p9GN1p:πNAp:πnQp:Gnap;πnax;Gnqx<πo↓x<λ∂⊃x<Go∩=πo"=λ∂1x=H∂2=H/B>λ∂Bλ>H∂R>H/Rλ?λ∂bλ?λ/bλ?H/rλ?H/rλ@λ0αλ@λ0αλ@H0∩λ@H0∩λ@HP"λAλ0"λAλP"⊂AH02λAHP2⊂AHP2⊂Bλ0B⊂BλPB⊂BλPB⊂BλPR⊂BHPR⊂BHPR⊂BHPR_BHpb⊂CλPb⊂CλPb⊂Cλpb_Cλpb_Cλpr⊂CHPr⊂CHPr_CHpr_CHpr_CHpr_CHpr_CHpr_DλQα⊂DλQα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα_Dλqα⊂DλQα⊂CHpr_CHpr_CHpr_CHpr_CHpr_CHpr⊂CHPr⊂CHPb_Cλpb_Cλpb_CλPb⊂CλPb⊂CλPR_BHpR⊂BHPR⊂BHPR⊂BHPB⊂BλPB⊂BλPB⊂BλPBλAHP2⊂AHP2⊂AH02λAλP"⊂Aλ0"λAλ0∩⊂@H0∩λ@H0∩λ@λ0αλ@λ0αλ?H/rλ?H/rλ?λ/bλ?λ/b>H/Rλ>H∂R>λ/B>λ∂2λ=H∂2=Go"=λ∂!x<H∂⊃x<Goα<πo↓x;Gnqx;πnax;πNQx:GNAx:πNAp9GN1p9πN!p8GN⊃p8G.↓h8π-qh7G-ah7π
Qh6G
A`5G-1`5π
!`4G
⊃X4εlq`3FlaX3εLQP2εLAP1FL!P1ε,⊃H0ε+qH/Fa@.FA@.¬k18-¬K⊃0,¬Jq0+E*a *E
A )Dj!_(DJ↓⊂'D)a&D @x%CI h";bπ 4]
F(⊂∃∂↔2]n&H:→..x≥
↔ 6→$∧`2YNB8_.&(7≥
ε(9Z.>xαλεβλ6<` ⊂@∧↑0w@∞xαλεβ⊂6<`∧H@⊂↑07Nxαλεβ_6<` ⊂@∧↑?xv@↓∞x↓Hεβλy@∩( <`∞x≥p_⊂ε/_∩`β`y@
`α;`2_}0I α/_␈{ @wA∧β_\↑0I α/_;`wA∧β→≤↑0& εo_≠@ wA∧β→\↑0I α/_␈{ @wA∞'(6→>0∂_y@↔P<`≥p 9≥-F(y@<`∂P≡0↑@∂_>@wA∞'(6→>0∂_␈x@y@↔P<␈}⊂≥p 9≥-F(y@<␈}⊂≡0∂_>@wA∞'(6→>0↑@∂_␈x@y@↔P<`∂Pλ0Eα
@πp∪ox␈␈| ∨∀(↓rpXJCrAλI∧r⊃(GF⊃aHFεq1hDGqαCH0R⊂Bλp2 A ⊂∩ ?IOb0>I/B(=I∂" <Hoα_;Hnb⊂:HNB⊂9HN"⊂8H.αλ8λ
r7λ
R6λ
25Gm!x4Gm↓x4πLqp3πlap2GLAp2π,1h1πL!h0G,↓h0π+qh/Gah/πQ`.π+A`-G1`-π!`,G⊃X,π↓X+G
qX+FjaX+εjQX*FjQP*εjAP)Fj1P)FJ!X)εJ⊃X(FJ⊃P(εj↓P(εJ↓P'FIqP'FIaP'εIaP'εIQP&FIQP&FIAP&εIAP&εIAH%FI1P%FI1P%F)1H%εI!P%εI!P%ε)!H%ε)!H%ε)!H$FI⊃P$FI⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃H$F)⊃P$FI⊃P%ε)!H%ε)!H%ε)!H%εI!P%εI!P%F)1H%FI1P%FI1P&ε)AP&εIAP&εIQP&FIQP&FIaP'εIaP'εIqP'FIqP(εJ↓P(εJ↓X(FJ⊃P(Fj!P)εj1P)FJ1X*εJAX*FJQX*FjaX+εjqX+Fjq`,εk↓`,Fk⊃`-π!`-G1`.πAh.Ga`/π+q`/G,↓h0π,⊃h1π,!p1G,Ah2πLQp3πLax3GM↓p4πm⊃x5πm1x5H
B6H
b7H∞α8λ.∩λ9λN2⊂:λNR⊂;λNr_<λo∩_= ∂2 > /R(? Or0@I⊂" AI⊂B_BHPrλDλ⊃⊃xEG1AXGε1q@HE2!_J∧2PxKBs⊂8";bw 4]
F(⊂∀M⊗84≥∧π0\LVp:~W_4\⎇p ⊂ε⊗`y@β␈xz<`∞x≥p ⊂ε&`y@←xh<`εp↓≥p ⊂ε6`y@β␈xz<␈}hα≥p_⊂ε∨_π␈␈ y@≥p;`2_↑03←y/_≠@ w@dβ→|`↓x␈⎇≡?xv@↓∞xαλεβλ9<`↓x␈⎇≡0w@∞xαλεβ⊂9<`ε@␈q≡07Nxαλεβ_9<`↓x␈⎇≡?xv@↓∞xα≤NV`2|`≡0∂_$`y@;`G⊂:[←_y@∨ <` _≡0⎇∞xα≤NV`2|`≡?xq∂_$`y␈| ;`G⊂:[←_y␈| <`≡0⎇∞xα≤NV`2|` _≡?xq∂_$`y@∨ ⊂`↓
ε≡`¬ ≥∨␈x␈x@> p8'β)Qλ&¬ 1@%εi!h%πi∩⊂$Hi∩($Ii∩@$JI"P% "h%K)Bh&KIbp(*2X+
+α@- kB0/ ,α 1λl2_2H,bλ3H-αλ5λ
1x6πmQx7πmqp8πN⊃p9π.1h9G.Ah:G.a`;π.q`<π∂⊃X<G∂!X=Fo1X>εoAX>FoQX?εoaX?FoqX@εp↓X@FP⊃XAεP!PAFP1PAFpAPBεPQPBFPQPCεPaPCεPqPCFPqPCFQ↓PDεQ↓PDF1⊃PDFQ⊃PEε1!PEεQ!PEεQ1HEFQ1PEFQ1PFε1AHFεQAPFεQQHFF1QHFF1QPFFQQPFFQaHGε1aHGε1aHGε1aHGεQaPGεQaPGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGF1qHGεQaPGεQaPGε1aHGε1aHGε1aHGε1QPFFQQPFFQQHFF1QHFF1APFεQAPFε1AHEFQ1PEFQ1PEF1!PEεQ!PEεQ!HDFQ⊃PDFQ⊃HDεQ↓PDεPqPCFPqPCFPaPCεPaPBFPQPBFPAPBεP1XAFP1PAεP!P@Fp⊃P@εp↓X?FoqX?εoaX>FoQX>εoAX=Fo1X=εo⊃`<Fo↓`;G∞ah;π∞Qh:π.1h9G.!h8GN↓p7GMax6GmAx5Gm"4λ,rλ3λ,Rλ1Hl"_0 b(. K"8,
bH)Jjαh'IRp&)2h%)"`%
I∩P$J ∩8$I)∩_$HI!x%π)!X%F A &D)p`(AHNxε≥
↔ 6→$∧H:_-FH1{bg 4]
F(⊂∪V0:λ∞ελ9→-g 4→.6H9{`B_-O_+#~y@! ;`B_MO_∞pαy@ ;`B_mO_∃#~y␈u ;`2_>0VF4∂_B@w@dβ→<`∧λ@¬↑0-∞x↓Hεβ_y@
QHP<␈zP≥p ⊂ε↔⊂y@∃QHP<`⊂P≥p ⊂ε'⊂y@λx¬|`¬P≥p ⊂ε7⊂y@
QHP<␈zP≥p 9≥-F(y@<`≡0@@∂_wA∞'(6→>0∂_C@y@⊂⊂<`⊂p≥p 9≥-F(y@<␈z0≡0@@∂_␈i@wA∞'(6→>0∂_␈i@y@<`⊂p≥p 9≥-F(y@⊂⊂<␈z0≡0@@∂_C@wA∞'(6→>0]S~∂_C@y@↔4`h<`λ8λ0e∧⊃Pε⊗∨x␈␈t`!T=A_00aα_⊂H←Bw``↑C↔@`]C↔ `\C⊗ph[β6PhZβ60pYβV⊂pXβUppWβUPpVβU0pUβU⊂xTβtpxSβtPxRβt0xQ∧∀⊃P∧∀xOCsaND∪AMD∪!LD3↓λL∧∩qK∧∩QλJ∧21λID∩!λHD2↓λGDQqλG∧1QλF∧Q1⊂ED1!⊂DDQ↓⊂D∧0q⊂C∧PQ⊂BDPA⊂ADP1⊂A∧P⊃_@DP↓⊂?Doq⊂?∧OQ_>DOA_=Do1⊂=∧o⊃_<Do↓_;Dnq_;∧na_:DnA_:∧n1_9Dn!_9∧n⊃_8¬∞↓_7E
q_7¬
a_6DmQ_6∧m1 5Dm! 5∧m⊃ 4Dm↓ 4¬q 3Ea 3¬a_2EQ_2¬A_1E1_1¬! 0E⊃ 0Dl↓ 0∧kq /Eq_/¬a_.EQ .DkA .¬1 -E1_-¬! -∧k⊃ ,E⊃_,¬↓ ,∧jq +E
q_+¬
a +∧jQ *E
Q_*¬
A *∧j1 )E
1 )Dj! )¬
! )∧j⊃ (E
⊃_(Dj↓ (¬
↓_(∧iq 'E q 'Diq_'¬ a '∧ia_'∧iQ &E Q_&DiQ_&¬ A &¬ A_&∧iA_&∧i1 %E 1_%Di1_%Di1_%Di!_%∧i!_%∧i!_%∧i!_%∧i!_%∧I!⊂$Di⊃_$Di⊃_$Di⊃_$Di⊃_$Di⊃_$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂$DI⊃⊂%∧)!λ%∧)!λ%∧)!λ%∧)!λ%∧)!λ%∧I1λ%D)1λ%D)1λ%D)1λ%D)A&∧ A&∧)Aλ&∧)Q&D Q&D Q'∧ a'∧ a'∧ px'D q'D
x(βj↓(∧
⊂x(Cj⊂x)βj x)βj0p)CJ0x)Cj@p*βJ@x*CJPp+β*`p+βJph+CJpp,β+h,C+⊂h,C+ h-β+0`-C+@`.β+P`.C``/βpX/CX0β⊂X0Bl X1αl0X1Bl@X2BLPP3αL`P3BMH4αM⊂H5α
@5AM@ ";bw 4]
F(⊂∀M⊗84≥∧π0\LVp:~W_4\⎇p ⊂ε⊗`y@∞00<`⊂P≥p ⊂ε&`y@gxz|`¬P≥p ⊂ε6`y@∞00<␈zP≥p_⊂ε∨_⊗≤fy@! ;`2_↑06∨⎇?_⊗@w@dβ→|`s_≡?xU∞xαλεβλ9<`¬@s_≡0λ¬∞xαλεβ⊂9<`π⊂?x≡0-∞xαλεβ_9<`s_≡?xU∞xα≤NV`2|`≡0∂_ y@;`G⊂:[←_y@!`<`λλ≡0λπ∞xα≤NV`2|`≡?xS∂_ y␈t`;`G⊂:[←_y␈t`<`≡0λπ∞xα≤NV`2|`λλ≡?xS∂_ y@!`;`G⊂:[←_!#~y@!`<`λ(h≡0C@∧_2HαAλ␈␈␈␈hλλ␈␈␈z0⊂h ⊗@J⊂β(!
λ∧h!*λ¬hA:_¬haJ ε)!J(εiAJ8ε)aZ@εj!ZHεjAZPπ*aZXπ+↓j`π+!jhπ+Ajpπkajxπl↓kπl↓{λπl!{⊂πlA{⊂πla{_πlb πm↓{ λ-!{(λ-"(λ-B0λ-B0λ-b8λ-b8λmb≠@λ.α@λnα≠@λn"Hλn"≠Hλn"≠HλnBPλnB≠PλnB≠PλnB≠PλnB+P .B+Xλnb≠Xλnb≠Xλnb≠Xλnb+X .b+X .b+X .b+X .b+X .b+X .b+X .b+X .b+X .b+X .b+X .B;P nB;P nB;P nB;P nB;P .B+P .";H n";H n";H n";H n";@ nα;@ nα;@ nα;@ mbK8
-b;8 mb;8 mBK0
-BK0 mB;0 m"K(
-"K( m";
-αK
-α; lbK_
,bK_ lb;⊂
,BK⊂
,B;⊂ l"Kλ
,"Kλ lαK
,αK kbJx
+bJx kBJp
+BJp k"Jh
+"Jh kαJ`
+αJ` jbJX
*bJP
*BJP
*B:H
*"JH
*αJ@
*αJ8
)bJ8
)b:0
)BJ0 i"J(
)":
)αJ hbJ_
(b:⊂
(BJλ
("Jλ
(αJ
(α9x
'bIx gBIp
'"Ih
'"9`
'αIX
&bIX fBIP f"IH
&αI@
&α98
%b90
%BI(
%"I
%αI_
$bI_ dBI⊂ d"Iλ dαI cbHx cBHp c"H`
#α8X
"b8P
"B8H
""8@ abH8 aBH0 a"8( aα8_
b8⊂ `"Hλ `α8 ←b7p ←B7h ←α7` ≡b7P ↑B'H ↑α78 ]b'0 ]"7 ]α'_ ≤B7λ \"' ≠b&p ≠"&h ≠α&X ~B&H ~α&8 →B&0λY"⊗ λXb⊗⊂λX"⊗λWb∃pλW"∃`λVb¬Pλ⊗"¬@λ∃b¬0λ∃α¬_λ∀B¬λλ∀↓txπS!t`πRatPπ∩!dHε∩!4H∧R@tXα⊃≥r_:~.F`2H
6λ7≤eW_2\M⊗0⊂⊃Vh4XMv`2λλ6x7→Vp9Y,Nx≥
↔ 6→$∧`2YNB8_.&(7≥
ε(9Z.>xαλεβλ6<`¬x
≡0λ¬∞xαλεβ⊂6<`↓p@↔≡0-∞xαλεβ_6<`¬x
≡?xU∞x↓Hεβλy@h∞<`⊂P≥p_⊂ε/_P¬@y@ ;`2_}03 βO_␈j@wA∧β_\↑07α∂_B@wA∧β→≤↑0∨
O_⊗@wA∧β→\↑07α∂_␈j@wA∞'(6→>0∂_y@⊂P<`≥p 9≥-F(y@<`⊂p≡0B@∂_C@wA∞'(6→>0∂_␈i@y@⊂P<␈z0≥p 9≥-F(y@<␈z0≡0∂_C@wA∞'(6→>0B@∂_␈i@y@⊂P<`⊂pλ0↓¬¬p0β0∞/x␈␈t`!T!∧q!(DEq↓@CF0qHCε0QPBεP1XAFP!P@Fp↓X@εoqX?π∂Q`>G∂A`=G/!h=π/⊃h<πO↓h;GNap;πNQp:πnAp9Gn1p9πn⊃x8Gn↓x8πmqx7λ
b6H
R6λ
B5H
"λ5λ-∩λ4H-αλ4λ,r⊂3H,b⊂3λ,R⊂2HLB⊂2λL2_1HL"_1λl"⊂0Hl∩_0λlα_/Ir_/Hkb /λkR .IB . B -I2 -I"(- ∩(,I+∩ , +α(, *r(+I*r(+ Jb(+ *R0*IJR(*I*B0* JB()IJ20)IJ20) J"0) J"0(Ij∩0(IJ∩0( jα8( Jα0'Iir8'Iir8'IIb8' ib8' ib8&J R8&IiR8&IiR8&
B@& iB8& iB8%J 2@%J 2@%J 2@%Ii28%Ii"@%
"@%
"@%
"@%
"@%
"@% i∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J ∩@$J "8%
"@%
"@%
"@%
"@%
"@%
28%Ii28%J 2@%J 2@%J 2@& iB8& iB8&
B@&IiR8&IiR8&IiR@' ib8' ib8' ir0'Iir8'Iir8( Jα0( jα8(IJ∩0(IJ∩8) J"0) J"0)IJ20)IJ20* *B0* JR(*I*R0*IJb(+ *b0+I*r(+I+α(, +α(,I∩(,I+" - +2 -I2 . B . R .Ib_/ r_/Hkr 0λlα_0Hl∩_1λL"_1λl2⊂1HlB⊂2λLR⊂2HLbλ3λLrλ3HMαλ4λ-∩λ4H-"λ5λ-26λ
B6H
R7λ
b7Gn↓x8πn⊃x8Gn!x9GN1x:πNAx:GNap;πNqp<π/↓p<G/!h=π/1h>π∂Q`>G∂a`?Fp↓X@εp⊃XAεP1PAFpAPBFPaHCF0qHDε⊃⊃8E¬11_";bw 4]
F(⊂∀M⊗84≥∧π0\LVp:~W_4\⎇p ⊂ε⊗`y@αoxx<`⊂P≥p ⊂ε&`y@λgxV<`¬P≥p ⊂ε6`y@αoxx<␈zP≥p_⊂ε∨_πO} y@! ;`2_↑0+∨u∂_⊗@w@dβ→|`↓p?y≡?xU∞xαλεβλ9<`α(␈v≡0λ¬∞xαλεβ⊂9<`ε0?i≡0-∞xαλεβ_9<`α(␈v≡?xU∞xα≤NV`2|`≡0∂_! y@;`G⊂:[←_y@!`<`λ(≡0λπ∞xα≤NV`2|`≡?xS∂_! y␈t`;`G⊂:[←_y␈t`<`≡0λπ∞xα≤NV`2|`λ(≡?xS∂_! y@!`⊂`α
o ∧`~←␈x␈i@C !_%¬)⊃8$F)⊃P$Fi!X%Fi1`&π Q`'π ah'G*↓h(πJ⊃p)πJ!x)GJAp*πjQx*H
ax+Gjr,λα,H∩λ-λ+2-H+Bλ.λ+Rλ.HKbλ/λKrλ/HLα⊂0λLα_0HL∩_1λL"_1HL2_1HlB_2λlR_2HlR 3λlb 3Hlr 3I
α 4
α 4I
∩ 4I-" 5
"(5 -2(5I-2(6 -B(6 -B06I-R(6IMR07 -b07 Mb07I-r07IMr08 Nα08 Nα08 n∩08IN∩08In∩89 N"09 n"89 n"89IN289In289In28: nB8: nB8: nB8:
∞R8:InR8:InR8:InR@:J∞R@; nb8; nb8; nb@;
∞b@;
∞b@;Inr8;Inr8;J∞r@;J∞r@;J∞r@;J∞r@;J∞r@;J∞r@;J∂α8< oα@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α@<
∂α8< nr@;J∞r@;J∞r@;J∞r@;J∞r@;J∞r@;J∞r@;Inr8;Inr8;
∞b@;
∞b@;
∞b8; nb8; nb8:J∞R@:J∞R8:InR8:InR8:InB@: nB8: nB8: nB89In289In289In209 n"89 n"89 N"08In∩88IN∩08INα88 Nα08 Nα07IMr07IMr(7 Mb07 Mb(6IMR06I-R(6 MB(6 -B(5I-2(5I-"(5 -" 5
∩(4I
∩ 4
α 4 r 3Ir_3 b_2IR_2HlB_2λl2_1Hl2⊂1λl"⊂0Hl∩⊂0λlα⊂0λKr⊂/H+b⊂/λ+R⊂.H+Bλ.λ+2λ-H"λ,H+∩,λα+H
qx+πjR*GjAx*πJ1p)πj!p(GJ↓p(π)qh'π)a`&G A`%G 1X%εi⊃X$FI⊃H$Ei!(%DhO@¬β_∧*_p<X ␈␈␈␈hλ␈␈␈z0⊂h{
λ(;∞ ∂z↑bH! ∞cH∧Bλ|@α@→`[⎇xow{⎇x